val angleX : float ref
val angleZ : float ref
val display_option : string ref
val glob_obj : string ref
val vertices : Gl.point3 array ref
val faces : (int * int * int) list ref
val alt_list : (int * (float * float * float)) list ref
val vertex_color :
  (int * (float * float * float)) list -> float -> float * float * float
val draw_face : int * int * int -> unit
val draw_faces : unit -> unit
val time : unit -> float
val resizeGLScene : width:int -> height:int -> unit
val initGL : unit -> unit
val up_cam : GdkEvent.Key.t -> bool
val drawGLScene :
  < swap_buffers : unit -> 'a; .. > ->
  < event : < add : [> `KEY_PRESS ] list -> 'b;
              connect : < key_press : callback:(GdkEvent.Key.t -> bool) -> 'c;
                          .. >;
              .. >;
    .. > ->
  unit -> 'a
val killGLWindow : unit -> unit
val createGLArea :
  'a ->
  (int * (float * float * float)) list ->
  < event : < add : [> `KEY_PRESS ] list -> 'b;
              connect : < key_press : callback:(GdkEvent.Key.t -> bool) -> 'c;
                          .. >;
              .. >;
    .. > ->
  string ->
  int ->
  int ->
  int -> 'd -> string -> < add : GObj.widget -> unit; .. > -> GlGtk.area
